int_0^(pi/2) cos( pi/2 cos(x))^2 dx